Koha online catalog › Results of search for 'su:"Logic, Symbolic and mathematical"'

	1.	Symbolic logic and mechanical theorem proving by Chang, Chin-Liang \| Lee, Richard Char-Tung. Material type: Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1). Place hold
	2.	Automated theorem proving : theory and practice by Newborn, Monty. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2). Place hold
	3.	Formal concept analysis : mathematical foundations by Ganter, Bernhard \| Wille, Rudolf. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 511.33 GAN] (1). Place hold
	4.	Foundations of decision-making agents : logic, probability and modality by Das, Subrata. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2008Availability: Items available for loan: [Call number: 006.33 DAS] (1). Place hold
	5.	Essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, artificial life plus the secrets of Enigma by Copeland, B. Jack ed. Publisher: Oxford : Clarendon Press, 2013Availability: Items available for loan: [Call number: 510.92 COP] (1). Place hold

Koha online